int main()
{
	return 0; /* EXIT_SUCCESS */
}
